# Licensed under the Apache License, Version 2.0 or the MIT License.
# SPDX-License-Identifier: Apache-2.0 OR MIT
# Copyright Tock Contributors 2022.

# Makefile for building the tock kernel for a LiteX SoC running in a
# Verilated simulation

TARGET=riscv32imc-unknown-none-elf
PLATFORM=litex_sim

include ../../Makefile.common

